/*
 * Dispatcher.h
 *
 *  Created on: May 27, 2013
 *      Author: dianagorun
 */
#include"Process.h"
#ifndef DISPATCHER_H_
#define DISPATCHER_H_

typedef enum interupt_type {
        KEYBOARD_INTERUPT,
        MUTEX_INTERUPT,
        IO_INTERUPT,
        TIMER_INTERUPT,
        PROCESS_FINISHED
}INTERUPT_TYPE;

void new_dispatch();
void dispatch(INTERUPT_TYPE);
#endif /* DISPATCHER_H_ */
